#
# Specifics for x86
#
SPECS += 32bit

#
# x86-specific Genode headers
#
REP_INC_DIR += include/x86

include $(call select_from_repositories,mk/spec-32bit.mk)
